void timer_intrhdlr ();
void psudo_intrhdlr (char *msg);
void missing_x_hdlr ();
void illinst_hdlr ();